Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
181	Slide : 1 Testing the reliability of FERC’s Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2003-10-31 09:20:50 Electromagnetism Electric power transmission systems Leigh Tesfatsion Computational economics Federal Energy Regulatory Commission Electricity market Agent-based computational economics Reliability engineering Agent-based model Electric power Electric power distribution Mathematical economics
182	148 Automation in Software Testing for Military Add to Reading List Source URL: www.spawar.navy.mil Language: English - Date: 2001-08-03 17:17:55 Software quality Test automation Test engineer Quality assurance Automation Software development process Model-based testing Test automation management tools Software testing Technology Manufacturing
183	2011 Model-based Testing User Survey: Results and Analysis Add to Reading List Source URL: robertvbinder.com Language: English - Date: 2013-01-27 19:42:59 Software testing Model-based testing Spec Explorer
184	Prof. Bernhard Steffen TU Dortmund BIO Add to Reading List Source URL: ls5-www.cs.tu-dortmund.de Language: English - Date: 2013-06-04 07:05:11 Computer science Model checking Software development process Large-scale Complex IT Systems ACM Transactions on Programming Languages and Systems Model-based testing Software engineering Institute for System Programming Brent Hailpern Science Formal methods Software development
185	Softw Syst Model[removed]: 179–180 / Digital Object Identiﬁer (DOI[removed]s10270[removed]Editorial Add to Reading List Source URL: www.sosym.org Language: English - Date: 2011-06-14 02:36:20 Cognition Modeling language Scientific modelling Conceptual model Software testing Unified Modeling Language Model-based testing Ethology Scientific modeling Philosophy of mind
186	AGEDIS CONSORTIUM M ODE L BASE D TEST Add to Reading List Source URL: www.agedis.de Language: English - Date: 2006-12-19 04:41:21 Software engineering Science Diagrams Unified Modeling Language TTCN Model-based testing Rational Tau Construction and Analysis of Distributed Processes Test automation Software testing Automation Technology
187	Application of Lightweight Formal Methods to Software Security David P. Gilliam,* John D. Powell,* and Matt Bishop** Jet Propulsion Laboratory, California Institute of Technology Add to Reading List Source URL: nob.cs.ucdavis.edu Language: English* - Date: 2013-03-12 20:41:50 Computing Logic in computer science Software testing Software quality Formal verification Theoretical computer science Model checking Verification and validation Component-based software engineering Formal methods Software engineering Software development
188	Carleton University, Technical Report SCE[removed]May Add to Reading List Source URL: squall.sce.carleton.ca Language: English - Date: 2010-05-12 15:46:23 Psychometrics Evaluation Model-based testing Tests Spec Explorer Test automation Unified Modeling Language Test Statistical hypothesis testing Software testing Science Statistics
189	Author manuscript, published in "12th European Workshop on Dependable Computing, EWDC 2009, Toulouse : France (2009)" hal[removed], version[removed]May 2009 Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2009-05-12 10:28:31 Technology Model-based testing Test case Test management Test suite Test automation Test design Reliability engineering JSystem Software testing Evaluation Software quality
190	Model-based Testing of Automotive Systems Eckard Bringmann, Andreas Krämer PikeTec GmbH, Germany Add to Reading List Source URL: piketec.com Language: English - Date: 2009-04-20 12:31:32 Software TPT Model-based testing Hardware-in-the-loop simulation Test automation Acceptance testing Simulink Reliability engineering Test case Software testing Software quality Evaluation

UPDATE